count($P$;$L$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$reduce($\lambda$$a$,$n$. if $P$($a$)$\rightarrow$ 1 else 0 fi+$n$;0;$L$)